package ar.edu.caece.pl.asin.model.impl;

import ar.edu.caece.pl.alex.model.IToken;
import ar.edu.caece.pl.alex.model.impl.Token;
import ar.edu.caece.pl.asin.manager.IAnalizadorSintactico;
import ar.edu.caece.pl.asin.manager.impl.AbstractAnalizadorSintactico;
import ar.edu.caece.pl.asin.model.ITokenStream;

public class TipoC extends AbstractAnalizadorSintactico implements IAnalizadorSintactico {
	
	/* INICIALIZACION */	
	public TipoC ( ITokenStream ts ) {
		super(ts, false);
	}
	public TipoC ( ITokenStream ts, boolean debugMode ) {
		super(ts,debugMode);
	}
	
	
	/** 
	 * Devuelve true si reconoce el tipo y valor de las constantes
	 */
	public boolean reconocer() {
		
		boolean recognized = true; //(asumimos correctitud hasta demostrar lo contrario)
		
		//----------------------------------------------
		//Agrego info de debug de la produccion
		em.debug( "Reconocer TipoC:");
		//----------------------------------------------
		
		/* <TIPO_C> -> NATURAL = NUMERO_NAT <TIPO_C1> |
         *             INTEGER = NUMERO     <TIPO_C1> */
		
		if ( this.getTokenSiguiente().equals( new Token(IToken.PALABRA_RESERVADA_NATURAL) ) ) {

			// <TIPO_C> -> NATURAL = NUMERO_NAT <TIPO_C1>

			//----------------------------------------------
			//Agrego info de debug de la produccion
			em.debug( "<TIPO_C> -> NATURAL = NUMERO_NAT <TIPO_C1>", this.getTokenSiguiente() );
			//----------------------------------------------
			
			// Reconocer NATURAL
			if ( !this.reconocerToken(IToken.PALABRA_RESERVADA_NATURAL) ) {
				//El reconocerToken() habria adelantado el tokenStream hasta salir de esta iteracion de TipoC,
				//entonces no hay que seguir buscando sino salir
				return false;
			}
			
			// Reconocer TOKEN_OPER_IGUAL
			if ( !this.reconocerToken(IToken.TYPE_OPER_IGUAL) ) {
				return false;
			}
			
			// Reconocer NUMERO_NAT
			if ( !this.reconocerToken(IToken.TYPE_NUM_NATURAL) ) {
				return false;
			}
			
			// Reconocer <Tipo_C1>
			IAnalizadorSintactico tipoC1 = new TipoC1(this.tokenStream, this.debugMode);
			recognized &= tipoC1.reconocer();
			
		} else if ( this.getTokenSiguiente().equals( new Token(IToken.PALABRA_RESERVADA_INTEGER) ) ) {
			
			// INTEGER = NUMERO     <TIPO_C1>
			
			//----------------------------------------------
			//Agrego info de debug de la produccion
			em.debug( "INTEGER = NUMERO <TIPO_C1>", this.getTokenSiguiente() );
			//----------------------------------------------
			
			// Reconocer INTEGER
			if ( !this.reconocerToken(IToken.PALABRA_RESERVADA_INTEGER) ) {
				return false;
			}
			
			// Reconocer TOKEN_OPER_IGUAL
			if ( !this.reconocerToken(IToken.TYPE_OPER_IGUAL) ) {
				return false;
			}
			
			// Reconocer NUMERO_NAT
			if ( !this.reconocerToken(IToken.TYPE_NUM_ENTERO) ) {
				return false;
			}
			
			// Reconocer <Tipo_C1>
			IAnalizadorSintactico tipoC1 = new TipoC1(this.tokenStream, this.debugMode);
			recognized &= tipoC1.reconocer();
			
		} else {
			
			//No deberia darse el caso, pero si se llama a reconocer() en un estado incorrecto deberia salir por aqui
			em.error("Se esperaba " + IToken.PALABRA_RESERVADA_NATURAL + " o " + IToken.PALABRA_RESERVADA_INTEGER,
				this.getTokenSiguiente());
			
			recognized = false;
			
			//Tratamiento de errores
			em.recover(this.getClass(), this.tokenStream);
		}
		
		return recognized;
	}
	
	public static boolean primeros(IToken token) {
		return  token.equals( new Token(IToken.PALABRA_RESERVADA_NATURAL) ) ||
				token.equals( new Token(IToken.PALABRA_RESERVADA_INTEGER));
	}
}
